3. .....................
پدیدآورنده: Chang, Chin-liang
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Logic, Symbolic and mathematical,، Automatic theorem proving,، Artificial intelligence
رده :
QA
9
.
C483
4. Acting and Reflecting :
پدیدآورنده: edited by Wilfried Sieg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
6. Applications of Hyperstructure Theory
پدیدآورنده: by Piergiulio Corsini, Violeta Leoreanu.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra.,Combinatorics.,Computational complexity.,Group theory.,Logic, Symbolic and mathematical.,Mathematics.
7. Automated Deduction - A Basis for Applications
پدیدآورنده: edited by Wolfgang Bibel, Peter H. Schmitt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
8. Automated Deduction -- CADE-12 :
پدیدآورنده: edited by Alan Bundy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
9. Automated deduction in geometr
پدیدآورنده: / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
رده :
QA448
.
D38
,
I58
2011
10. Automation of Reasoning :
پدیدآورنده: edited by Jörg H. Siekmann, Graham Wrightson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
رده :
QA76
.
9
.
A96
E358
1983
12. BL,BL
پدیدآورنده: / Marshall G.S. Hodgson. ,20090530 0
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
13. Certified programs and proofs :
پدیدآورنده: Jean-Pierre Jouannaud, Zhong Shao (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
C37
2011eb
14. Commonsense Reasoning
پدیدآورنده: \ Erik T. Mueller, IBM Watson Group and IBM Research.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Commonsense reasoning-- Automation.,Artificial intelligence-- Mathematics.,Logic, Symbolic and mathematical-- Data processing.,استدلال عام -- خودکاری
رده :
E-Book
,
15. Commonsense reasoning /
پدیدآورنده: Erik T. Mueller.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence-- Mathematics.,Commonsense reasoning-- Automation.,Logic, Symbolic and mathematical-- Data processing.,Artificial Intelligence.,Automation.,Electronic Data Processing.,Artificial intelligence-- Mathematics.,Logic, Symbolic and mathematical-- Data processing.
رده :
Q338
.
85
.
M84
2006eb
16. Computational logic and human thinking :
پدیدآورنده: Robert Kowalski
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Communication-- Philosophy,Computational intelligence,Critical thinking,Logic, Symbolic and mathematical-- Famous problems,Reasoning,Rhetoric-- Mathematics
رده :
Q342
.
K69
2011
17. Cybernetics and systems '86 :
پدیدآورنده: organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.
رده :
Q300
.
O743
1986
18. Distributed Fuzzy Control of Multivariable Systems
پدیدآورنده: by Alexander Gegov.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer engineering.,Logic, Symbolic and mathematical.,Mathematics.,Mechanical engineering.,Systems theory.
19. Dynamic Fuzzy Pattern Recognition with Applications to Finance and Engineering
پدیدآورنده: by Larisa Angstenberger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer vision.,Logic, Symbolic and mathematical.,Mathematics.
20. Formal Concept Analysis :
پدیدآورنده: Diana Cristea, Florence Le Ber, Baris Sertkaya (Eds.) (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses.,Formal methods (Computer science), Congresses.,Logic, Symbolic and mathematical, Congresses.,Computer science-- Mathematics.,Formal methods (Computer science),Logic, Symbolic and mathematical.
رده :
QA76
.
9
.
M35
I58
2019eb
